import _00SetFunc as ss
import __00SetRelation as sr

#验证复合运算性质
Xm,n1,n2,n3=20,10,15,20
X=set(range(Xm))
R1=sr.createrelation(X,X,n1)
R2=sr.createrelation(X,X,n2)
R3=sr.createrelation(X,X,n3)
E1=sr.composite(sr.composite(R1,R2),R3)
E2=sr.composite(R1,sr.composite(R2,R3))
tv=E1==E2
print("R1,R2,R3",R1,R2,R3)
print("tv",tv)